搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书(共6748本)

	Computer Applications for Handling Legal Evidence, Police Investigation and Case Argumentation [electronic resource] 0 索取号：作者：Nissan、 Ephraim.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2012.		Theory and Applications of Ontology: Computer Applications [electronic resource] 0 索取号：作者：Poli、 Roberto.、Healy、 Michael.、Kameas、 Achilles.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2010.
	Procedural Semantics for Hyperintensional Logic [electronic resource] : Foundations and Applications of Transparent Intensional Logic 0 索取号：作者：Du啪铆、 Marie.、Jespersen、 Bjorn.、Materna、 Pavel.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2010.		Electronic Engineering and Computing Technology [electronic resource] 0 索取号：作者：Ao、 Sio-Iong.、Gelman、 Len.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2010.
	Applied Time Series Analysis and Innovative Computing [electronic resource] 0 索取号：作者：Ao、 Sio-Iong.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2010.		International Comparisons of China's Technical and Vocational Education and Training System [electronic resource] 0 索取号：作者：Guo、 Zhenyi.、Lamb、 Stephen.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2010.
	Changing Climates, Earth Systems and Society [electronic resource] 0 索取号：作者：Dodson、 John.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2010.		Global Environmental Change: Challenges to Science and Society in Southeastern Europe [electronic resource] : Selected Papers presented in the International Conference held 19-21 May 2008 in Sofia Bulgaria 0 索取号：作者：Alexandrov、 Vesselin.、Gajdusek、 Martin Felix.、Knight、 C. Gregory.、Yotova、 Antoaneta.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2010.
	Applications of Mathematics in Models, Artificial Neural Networks and Arts [electronic resource] : Mathematics and Society 0 索取号：作者：Capecchi、 Vittorio.、Buscema、 Massimo.、Contucci、 Pierluigi.、D'Amore、 Bruno.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2010.		Robust Computing with Nano-scale Devices [electronic resource] : Progresses and Challenges 0 索取号：作者：Huang、 Chao.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2010.
	Technical Functions [electronic resource] : On the Use and Design of Artefacts 0 索取号：作者：Houkes、 Wybo.、Vermaas、 P.E.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2010.		Mathematical Summary for Digital Signal Processing Applications with Matlab [electronic resource] 0 索取号：作者：Gopi、 E. S.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2010.
	Advanced Techniques in Computing Sciences and Software Engineering [electronic resource] 0 索取号：作者：Elleithy、 Khaled.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2010.		Innovations and Advances in Computer Sciences and Engineering [electronic resource] 0 索取号：作者：Sobh、 Tarek.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2010.
	Defending Hypatia [electronic resource] : Ramus, Savile, and the Renaissance Rediscovery of Mathematical History 0 索取号：作者：Goulding、 Robert.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2010.		Intelligent Automation and Computer Engineering [electronic resource] 0 索取号：作者：Huang、 Xu.、Ao、 Sio-Iong.、Castillo、 Oscar.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2010.

	Computer Applications for Handling Legal Evidence, Police Investigation and Case Argumentation [electronic resource] 0 索取号：作者：Nissan、 Ephraim.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2012.		Theory and Applications of Ontology: Computer Applications [electronic resource] 0 索取号：作者：Poli、 Roberto.、Healy、 Michael.、Kameas、 Achilles.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2010.
	Procedural Semantics for Hyperintensional Logic [electronic resource] : Foundations and Applications of Transparent Intensional Logic 0 索取号：作者：Du啪铆、 Marie.、Jespersen、 Bjorn.、Materna、 Pavel.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2010.		Electronic Engineering and Computing Technology [electronic resource] 0 索取号：作者：Ao、 Sio-Iong.、Gelman、 Len.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2010.
	Applied Time Series Analysis and Innovative Computing [electronic resource] 0 索取号：作者：Ao、 Sio-Iong.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2010.		International Comparisons of China's Technical and Vocational Education and Training System [electronic resource] 0 索取号：作者：Guo、 Zhenyi.、Lamb、 Stephen.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2010.
	Changing Climates, Earth Systems and Society [electronic resource] 0 索取号：作者：Dodson、 John.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2010.		Global Environmental Change: Challenges to Science and Society in Southeastern Europe [electronic resource] : Selected Papers presented in the International Conference held 19-21 May 2008 in Sofia Bulgaria 0 索取号：作者：Alexandrov、 Vesselin.、Gajdusek、 Martin Felix.、Knight、 C. Gregory.、Yotova、 Antoaneta.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2010.
	Applications of Mathematics in Models, Artificial Neural Networks and Arts [electronic resource] : Mathematics and Society 0 索取号：作者：Capecchi、 Vittorio.、Buscema、 Massimo.、Contucci、 Pierluigi.、D'Amore、 Bruno.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2010.		Robust Computing with Nano-scale Devices [electronic resource] : Progresses and Challenges 0 索取号：作者：Huang、 Chao.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2010.
	Technical Functions [electronic resource] : On the Use and Design of Artefacts 0 索取号：作者：Houkes、 Wybo.、Vermaas、 P.E.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2010.		Mathematical Summary for Digital Signal Processing Applications with Matlab [electronic resource] 0 索取号：作者：Gopi、 E. S.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2010.
	Advanced Techniques in Computing Sciences and Software Engineering [electronic resource] 0 索取号：作者：Elleithy、 Khaled.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2010.		Innovations and Advances in Computer Sciences and Engineering [electronic resource] 0 索取号：作者：Sobh、 Tarek.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2010.
	Defending Hypatia [electronic resource] : Ramus, Savile, and the Renaissance Rediscovery of Mathematical History 0 索取号：作者：Goulding、 Robert.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2010.		Intelligent Automation and Computer Engineering [electronic resource] 0 索取号：作者：Huang、 Xu.、Ao、 Sio-Iong.、Castillo、 Oscar.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2010.